#pragma once

#define PLIC_MACHINE_TIMER_ID SYSTEM_PLIC_SYSTEM_MACHINE_TIMER_INTERRUPT